Jonathan P. Bowen: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (38)
Najbardziej popularne
Spis
- Spis
- Tablica

1

The Turing Guide

The Turing Guide

Oxford University Press

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing

Rok:

2017

Język:

english

Plik:

PDF, 6.33 MB

5.0 / 5.0

english, 2017

2

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

Rok:

2017

Język:

english

Plik:

PDF, 22.14 MB

0 / 0

english, 2017

3

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner [Harris f.c]

Rok:

2012

Język:

english

Plik:

EPUB, 580 KB

0 / 0

english, 2012

4

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

Rok:

2017

Język:

english

Plik:

PDF, 7.45 MB

5.0 / 5.0

english, 2017

5

The Arts and Computational Culture: Real and Virtual Worlds

The Arts and Computational Culture: Real and Virtual Worlds

Tula Giannini, Jonathan P. Bowen

Rok:

2024

Język:

english

Plik:

PDF, 41.38 MB

0 / 5.0

english, 2024

6

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

Rok:

2004

Język:

english

Plik:

PDF, 1.33 MB

0 / 0

english, 2004

7

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Rok:

2018

Język:

english

Plik:

PDF, 10.08 MB

0 / 0

english, 2018

8

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Rok:

2019

Język:

english

Plik:

PDF, 14.21 MB

0 / 0

english, 2019

9

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

Rok:

1999

Język:

english

Plik:

PDF, 17.04 MB

0 / 0

english, 1999

10

Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

Intl Thomson Computer Pr (Sd)

Rok:

1996

Język:

english

Plik:

PDF, 700 KB

0 / 0

english, 1996

11

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Rok:

2020

Język:

english

Plik:

PDF, 8.71 MB

0 / 0

english, 2020

12

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

Rok:

2004

Język:

english

Plik:

PDF, 1.18 MB

0 / 0

english, 2004

13

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

Rok:

2017

Język:

english

Plik:

PDF, 6.03 MB

0 / 0

english, 2017

14

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 4.05 MB

0 / 0

english, 2008

15

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 8.13 MB

0 / 0

english, 2008

16

Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

Manchester University Press

Purkis, Jonathan(Editor), Bowen, James(Editor), Heckert, Jamie Vishwam(Contributor)

Rok:

2005

Język:

english

Plik:

PDF, 1.01 MB

0 / 0

english, 2005

17

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

Rok:

1994

Język:

english

Plik:

PDF, 5.06 MB

0 / 0

english, 1994

18

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

Rok:

1999

Język:

english

Plik:

DJVU, 3.63 MB

0 / 0

english, 1999

19

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 5.56 MB

0 / 0

english, 2008

20

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner

Rok:

2012

Język:

english

Plik:

FB2 , 720 KB

0 / 0

english, 2012

21

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

Rok:

2019

Język:

english

Plik:

PDF, 27.92 MB

0 / 0

english, 2019

22

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 3.23 MB

0 / 5.0

english, 2010

23

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 9.66 MB

0 / 0

english, 2013

24

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

Rok:

2013

Język:

english

Plik:

PDF, 10.23 MB

0 / 5.0

english, 2013

25

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Rok:

2017

Język:

english

Plik:

PDF, 9.41 MB

0 / 0

english, 2017

26

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

Rok:

2017

Język:

english

Plik:

PDF, 12.27 MB

0 / 0

english, 2017

27

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 3.54 MB

0 / 0

english, 2002

28

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

Rok:

2001

Język:

english

Plik:

PDF, 14.94 MB

0 / 0

english, 2001

29

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

Rok:

1998

Język:

english

Plik:

PDF, 10.95 MB

0 / 0

english, 1998

30

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 5.90 MB

0 / 0

english, 1995

31

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 3.04 MB

0 / 0

english, 2010

32

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 4.83 MB

0 / 0

english, 2008

33

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 41.80 MB

0 / 0

english, 1999

34

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 4.31 MB

0 / 0

english, 2003

35

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

Rok:

2013

Język:

english

Plik:

EPUB, 6.74 MB

0 / 0

english, 2013

36

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

Rok:

1997

Język:

english

Plik:

DJVU, 3.78 MB

0 / 0

english, 1997

37

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Rok:

2018

Język:

english

Plik:

PDF, 3.29 MB

0 / 0

english, 2018

38

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 7.30 MB

0 / 0

english, 2008